I argue that descartes' doubting of the external world does not rest on doubting the truth of clear and distinct ideas. in fact, he denies that we clearly and distinctly perceive the "existence" of material things. thus, their existence is not established through the validation of such ideas and we can understand why descartes' argument for their existence takes the form it does. i suggest that dreams lead him to conclude that the existence of material things is not clearly perceived (...) and to doubt their existence. (shrink)

Machine generated contents note: List of contributors; Acknowledgments; Introduction: the humanist tradition in Russian philosophy G. M. Hamburg and Randall A. Poole; Part I. The Nineteenth Century: 1. Slavophiles, Westernizers, and the birth of Russian philosophical humanism Sergey Horujy; 2. Alexander Herzen Derek Offord; 3. Materialism and the radical intelligentsia: the 1860s Victoria S. Frede; 4. Russian ethical humanism: from populism to neo-idealism Thomas Nemeth; Part II. Russian Metaphysical Idealism in Defense of Human Dignity: 5. Boris Chicherin and human dignity (...) in history G. M. Hamburg; 6. Vladimir Solov'iev's philosophical anthropology: autonomy, dignity, perfectibility Randall A. Poole; 7. Russian panpsychism: Kozlov, Lopatin, Losskii James P. Scanlan; Part III. Humanity and Divinity in Russian Religious Philosophy after Solov'iev: 8. A Russian cosmodicy: Sergei Bulgakov's religious philosophy Paul Valliere; 9. Pavel Florenskii's trinitarian humanism Steven Cassedy; 10. Semën Frank's expressivist humanism Philip J. Swoboda; Part IV. Freedom and Human Perfectibility in the Silver Age: 11. Religious humanism in the Russian silver age Bernice Glatzer Rosenthal; 12. Russian liberalism and the philosophy of law Frances Nethercott; 13. Imagination and ideology in the new religious consciousness Robert Bird; 14. Eschatology and hope in silver age thought Judith Deutsch Kornblatt; Part V. Russian Philosophy in Revolution and Exile: 15. Russian Marxism Andrzej Walicki; 16. Adventures in dialectic and intuition: Shpet, Il'in, Losev Philip T. Grier; 17. Nikolai Berdiaev and the philosophical tasks of the emigration Stuart Finkel; 18. Eurasianism: affirming the person in an 'Era of Faith' Martin Beisswenger; Afterword: on persons as open-ended ends-in-themselves (the view from two novelists and two critics) Caryl Emerson; Bibliography. (shrink)

When making decisions, governments can and should strive consciously to balance the demands of the present with the needs of future generations. Various advocates for greater governmental foresight have created new processes or institutions within existing systems of democratic government. These include long-range planning departments, futures commissions, impact statements on proposed legislation, environmental protection agencies, and formal technology assessment. But, much more remains to be done. Based on their extensive scholarly and practical experience, the contributors to this volume propose a (...) variety of techniques that will enable foresight to be effectively incorporated into governmental institutions and practices. (shrink)

Moral philosophy is the study of what morality is and what it requires of us. As Socrates said, it's about "how we ought to live"-and why. It would be helpful if we could begin with a simple, uncontroversial definition of what morality is. Unfortunately, we cannot. There are many rival theories, each expounding a different conception of what it means to live morally, and any definition that goes beyond Socrates's simple formula-tion is bound to offend at least one of them. (...) This should make us cautious, but it need not paralyze us. In this chapter, I will describe the "minimum conception" of morality. (shrink)

Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, motivated (...) from pre-mathematical considerations, without recourse to homotopy theory. (shrink)

Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...) expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory, and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics?2.1 A characterization of a foundation for mathematics2.2 Autonomy3 The Basic Features of Homotopy Type Theory3.1 The rules3.2 The basic ways to construct types3.3 Types as propositions and propositions as types3.4 Identity3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types5.1 Tokens as mathematical objects?5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy7.1 Framework7.2 Semantics7.3 Metaphysics7.4 Epistemology7.5 Methodology8 Possible Objections to this Account8.1 A constructive foundation for mathematics?8.2 What are concepts?8.3 Isn’t this just Brouwerian intuitionism?8.4 Duplicated objects8.5 Intensionality and substitution salva veritate9 Conclusion9.1 Advantages of this foundation. (shrink)

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers (...) a method that he claims instantiates the operation Reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences (assuming the second law of thermodynamics). We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'Reset', and thereby recover the quantitative form of Landauer's Principle. (shrink)

The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory, to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role of the Univalence Axiom in the (...) treatment of the Hole Argument in HoTT is clarified. (shrink)

This volume contains a selection of authoritative essays exploring the central questions raised by the conjectured technological singularity. In informed yet jargon-free contributions written by active research scientists, philosophers and sociologists, it goes beyond philosophical discussion to provide a detailed account of the risks that the singularity poses to human society and, perhaps most usefully, the possible actions that society and technologists can take to manage the journey to any singularity in a way that ensures a positive rather than a (...) negative impact on society. The discussions provide perspectives that cover technological, political and business issues. The aim is to bring clarity and rigor to the debate in a way that will inform and stimulate both experts and interested general readers. (shrink)

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton and Owen Maroney both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers a method (...) that he claims instantiates the operation Reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences. We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'Reset', and thereby recover the quantitative form of Landauer's Principle. (shrink)

Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...) We argue that identity types are a primitive component of HoTT and cannot be reduced to indiscernibility. (shrink)

When considering controversial thermodynamic scenarios such as Maxwell's demon, it is often necessary to consider probabilistic mixtures of states. This raises the question of how, if at all, to assign entropy to them. The information-theoretic entropy is often used in such cases; however, no general proof of the soundness of doing so has been given, and indeed some arguments against doing so have been presented. We offer a general proof of the applicability of the information-theoretic entropy to probabilistic mixtures of (...) macrostates, making clear the assumptions on which it depends, in particular a probabilistic version of the Kelvin statement of the Second Law. We briefly discuss the interpretation of our result. (shrink)

The Univalence axiom, due to Vladimir Voevodsky, is often taken to be one of the most important discoveries arising from the Homotopy Type Theory research programme. It is said by Steve Awodey that Univalence embodies mathematical structuralism, and that Univalence may be regarded as ‘expanding the notion of identity to that of equivalence’. This article explores the conceptual, foundational and philosophical status of Univalence in Homotopy Type Theory. It extends our Types-as-Concepts interpretation of HoTT to Universes, and offers an account (...) of the Univalence axiom in such terms. We consider Awodey’s informal argument that Univalence is motivated by the principle that reasoning should be invariant under isomorphism, and we examine whether an autonomous and rigorous justification along these lines can be given. We consider two problems facing such a justification. First, there is a difference between equivalence and isomorphism and Univalence must be formulated in terms of the former. Second, the argument as presented cannot establish Univalence itself but only a weaker version of it, and must be supplemented by an additional principle. The article argues that the prospects for an autonomous justification of Univalence are promising. (shrink)

"We reap as we sow. Those things which come to us, though not by our own choosing, are by our causing." JAMES ALLEN A Complete and Unabridged edition of James Allen's book "Foundation Stones to Happiness and Success." Part of The Works of James Allen Series. Other works by James Allen include:- Above Life's Turmoil All These Things Added As a Man Thinketh Byways of Blessedness Entering the Kingdom (Part of- "All These (...) Things Added") From Passion to Peace From Poverty to Power James Allen's Book of Meditations for Every Day in the Year Light on Life's Difficulties Man: King of Mind, Body and Circumstance Men and Systems Morning and Evening Thoughts Out from the Heart (Sequel to "As a Man Thinketh") Poems of Peace The Divine Companion The Eight Pillars of Prosperity The Heavenly Life (Part of-"All These Things Added") The Life Triumphant The Mastery of Destiny The Path to Prosperity (Part of-"From Poverty to Power") The Shining Gateway The Way of Peace (Part of-"From Poverty to Power") Through the Gate of Good. (shrink)

Background Institutional Review Boards (IRBs) are federally mandated to include both nonscientific and unaffiliated representatives in their membership. Despite this, there is no guidance or policy on the selection of unaffiliated or non-scientist members and reports indicate a lack of clarity regarding members’ roles. In the present study we sought to explore processes of recruitment, training, and the perceived roles for unaffiliated and non-scientist members of IRBs.Methods We distributed a self-administered REDCap survey of members of the Association for the Accreditation (...) of Human Research Protection Programs familiar with IRB member recruitment. The survey included closed and open-ended questions regarding: the operation of the HRPP/IRB(s), how unaffiliated and non-scientist members are recruited, whether they had faced challenges recruiting for these roles, and training and mentorship offered. The survey also collected information regarding the perceived value and roles of unaffiliated and non-scientist members.Results 76 responses were included in the analysis (38% completion rate). The most common approach for recruitment was referral from current IRB members, with almost half of respondents indicating challenges recruiting unaffiliated members. Over 75% indicated no additional training was provided to unaffiliated or non-scientist members compared to affiliated or scientist members. Most common supports provided were travel/parking expenses and honoraria. Commonly perceived roles were to provide an independent voice from the participant perspective, notably regarding consent processes and materials.Conclusions Respondents indicated challenges in defining unaffiliated and non-scientist members and limited practices toward recruitment and support. Future work should more closely examine the challenges in defining these roles and applying the definitions in practice, as well as strategies that may improve recruitment and retention of unaffiliated and non-scientist members. (shrink)

Homotopy Type Theory (HoTT) is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might (...) be expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory (but is compatible with the homotopy interpretation), and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics? 2.1 A characterization of a foundation for mathematics 2.2 Autonomy3 The Basic Features of Homotopy Type Theory 3.1 The rules 3.2 The basic ways to construct types 3.3 Types as propositions and propositions as types 3.4 Identity 3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types 5.1 Tokens as mathematical objects? 5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy 7.1 Framework 7.2 Semantics 7.3 Metaphysics 7.4 Epistemology 7.5 Methodology8 Possible Objections to this Account 8.1 A constructive foundation for mathematics? 8.2 What are concepts? 8.3 Isn’t this just Brouwerian intuitionism? 8.4 Duplicated objects 8.5 Intensionality and substitution salva veritate9 Conclusion 9.1 Advantages of this foundation. (shrink)

This is the introduction to the Routledge Companion to Thought Experiments.

Thought experiments are a means of imaginative reasoning that lie at the heart of philosophy, from the pre-Socratics to the modern era, and they also play central roles in a range of fields, from physics to politics. The Routledge Companion to Thought Experiments is an invaluable guide and reference source to this multifaceted subject. Comprising over 30 chapters by a team of international contributors, the Companion covers the following important areas: -/- · the history of thought experiments, from antiquity to (...) the trolley problem and quantum non-locality; -/- · thought experiments in the humanities, arts, and sciences, including ethics, physics, theology, biology, mathematics, economics, and politics; -/- · theories about the nature of thought experiments; -/- · new discussions concerning the impact of experimental philosophy, cross-cultural comparison studies, metaphilosophy, computer simulations, idealization, dialectics, cognitive science, the artistic nature of thought experiments, and metaphysical issues. -/- This broad ranging Companion goes backwards through history and sideways across disciplines. It also engages with philosophical perspectives from empiricism, rationalism, naturalism, skepticism, pluralism, contextualism, and neo-Kantianism to phenomenology. This volume will be valuable for anyone studying the methods of philosophy or any discipline that employs thought experiments, as well as anyone interested in the power and limits of the mind. (shrink)

From a leading authority in artificial intelligence, this book delivers a synthesis of the major modern techniques and the most current research in natural language processing. The approach is unique in its coverage of semantic interpretation and discourse alongside the foundational material in syntactic processing.

Interest in spirituality in the workplace and in leaders’ spirituality has grown in the last two decades, paralleled by the emergence of spiritual leadership theories and research. Despite evidence that spirituality is important to many leaders, the literature fails to adequately address the intersections of spiritual, leader, and moral development. A whole person and integrated approach to these three types of development seems beneficial to individual leaders, businesses, and society. In this article we first review spiritual, moral, and leader development (...) literature. Then, drawing on the theory of being-centered leadership, we present a framework which addresses the parallel and intertwined nature of spiritual, leader, and moral development. Our proposed framework includes markers of the three types of development and is inclusive of multiple spiritual development traditions. Four practices and processes of spiritual development are also explored and related to leader and moral development processes. Implications for theory, research, and practice are presented. (shrink)

Planctomycetes, Verrucomicrobia and Chlamydia are prokaryotic phyla, sometimes grouped together as the PVC superphylum of eubacteria. Some PVC species possess interesting attributes, in particular, internal membranes that superficially resemble eukaryotic endomembranes. Some biologists now claim that PVC bacteria are nucleus‐bearing prokaryotes and are considered evolutionary intermediates in the transition from prokaryote to eukaryote. PVC prokaryotes do not possess a nucleus and are not intermediates in the prokaryote‐to‐eukaryote transition. Here we summarise the evidence that shows why all of the PVC traits (...) that are currently cited as evidence for aspiring eukaryoticity are either analogous (the result of convergent evolution), not homologous, to eukaryotic traits; or else they are the result of horizontal gene transfers. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 34.4 (2001) 355-363 [Access article in PDF] Plato on Power, Moral Responsibility and the Alleged Neutrality of Gorgias' Art of Rhetoric (Gorgias 456c-457b) James Stuart Murray 1. Introduction You are sitting in your office on a quiet Thursday afternoon when an agitated university administrator enters with news that the students in your "Plato class" have just been interviewed on the city's largest radio station. (...) According to them, their professor claimed that the demise of their university is a direct result of the fact that senior administrative positions are held by a motley assortment of business-oriented, academically cynical, "renewal"-promoting "innovators" whose main preoccupation is "government funding opportunities" in areas of dubious academic importance.Your response might be: "That's not what I taught them." Or perhaps you might say, "That's not exactly what I taught them--I didn't say it was a 'motley' assortment." In either case, you would be relying on some form of what Robert Wardy (170, n.r 20) has dubbed the "blame students, not teachers defence." He asserts, perhaps correctly, that this defense gained the status of topos within the ancient rhetorical tradition. A version of it certainly does seem to show up in Isocrates' Antidosis (250-52) and perhaps in his Nicocles (3-4), and it is suggested by remarks in both Aristotle's Rhetoric (1355b) and Quintilian's Institutio Oratoria (II,16,5). On this occasion, however, I am concerned with only one rendition, probably its earliest extant instance in Greek literature. In Plato's Gorgias, the eponymous sophist argues as follows: Imagine someone who after attending wrestling school, 1 getting his body into good shape and becoming a boxer, went on to strike his father and mother or any other family member or friend. By Zeus, that's no reason to hate physical trainers... and to exile them from their cities! For while these people imparted their skills to be used justly against enemies and wrongdoers, and in [End Page 355] defense, not aggression, their pupils pervert their strength and skill and misuse them. So it's not their teachers who are wicked, nor is this a reason why the craft should be a cause of wickedness; the ones who misuse it are supposedly the wicked ones. And the same is true for oratory as well. The orator has the ability to speak against everyone on every subject, so as in gatherings to be more persuasive, in short, about anything he likes, but the fact that he has the ability to rob doctors or other craftsmen of their reputations doesn't give him any more of a reason to do it. He should use oratory justly, as he would any competitive skill. And I suppose that if a person who has become an orator goes on with this ability and this craft to commit wrongdoing, we shouldn't hate his teacher and exile him from our cities. For while the teacher imparted it to be used justly, the pupil is making the opposite use of it. So it's the misuser whom it's just to hate and exile or put to death, not the teacher. (Gorgias 456d, 457a-b) 2Change "exile from our cities" to "fire from our universities" and this makes a good passage to remember when confronted by that agitated administrator mentioned above. Blame the students, not the teachers.Not much comment has been provoked by this defense of Gorgianic rhetoric and its underlying rhetor/boxer analogy, except over the question of whether we should read the passage as an accurate reflection of the words of the historical Gorgias or as a Platonic invention. In a previous generation, E. R. Dodds (212) reckoned that this defense was "probably the standpoint of the historical Gorgias," while E. A. Havelock (195) cautioned that "there is little--very little--that he [i.e., Plato] lets Gorgias say in the Gorgias." In our own day, and on a more general level, Thomas Cole (151) states that "Plato's... (shrink)

Homotopy type theory is a new branch of mathematics that connects algebraic topology with logic and computer science, and which has been proposed as a new language and conceptual framework for math- ematical practice. Much of the power of HoTT lies in the correspondence between the formal type theory and ideas from homotopy theory, in par- ticular the interpretation of types, tokens, and equalities as spaces, points, and paths. Fundamental to the use of identity and equality in HoTT is the (...) powerful proof technique of path induction. In the ‘HoTT Book’ this principle is justified through the homotopy interpretation of type theory, by treating identifications as paths and the induction step as a homotopy between paths. This is incompatible with HoTT being an au- tonomous foundation for mathematics, since any such foundation must be able to justify its principles without recourse to existing areas of mathemat- ics. In this paper it is shown that path induction can be motivated from pre-mathematical considerations, and in particular without recourse to ho- motopy theory. This makes HoTT a candidate for being an autonomous foundation for mathematics. (shrink)

Original and penetrating, this book investigates of the notion of inference from signs, which played a central role in ancient philosophical and scientific method. It examines an important chapter in ancient epistemology: the debates about the nature of evidence and of the inferences based on it--or signs and sign-inferences as they were called in antiquity. As the first comprehensive treatment of this topic, it fills an important gap in the histories of science and philosophy.

Where does the road to reality lie? This fundamental question is addressed in this collection of essays by physicists and philosophers, inspired by the original ideas of Sir Roger Penrose, the English mathematical physicist and philosopher of science. The topics range from black holes and quantum information to the very nature of mathematical cognition itself. *** Librarians: ebook available on ProQuest and EBSCO [Subject: Philosophy, Physics, Mathematics, Cosmology].

In the Niobe of Aeschylus, Niobe, we are told, xs1F15ως τρίτης xs22EFμxs22EFρας xs22EFπικαθημxs22EFνη τxs1FF7 τάφxs1FF3 τxs22EFν παίδων οxs1F50δxs22EFν φθέγγεται xs22EFπικεκαλυμμένη. So in the Ransom of Hector, otherwise known as the Phrygians, ᾽Aχιλλεxs1F7Aς xs22EFμοίως xs22EFγκεκαλυμμέος οxs1F50 φθέγγεται πλxs22EFν xs22EFν xs22EFρχαxs1FD6ς όλίγα πρòς ‘Eρμxs22EFν xs22EFμοιβαxs1FD6α.

Youths with disruptive behavior disorders and psychopathic traits showed reduced amygdala responses to fearful expressions under low attentional load but no indications of increased recruitment of regions implicated in top- down attentional control. These findings suggest that the emotional deficit observed in youths with disruptive behavior disorders and psychopathic traits is primary and not secondary to increased top- down attention to nonemotional stimulus features.